Nuprl Definition : fpf-add-single 11,40

fx : v == f  x : v 
latex



clarification:

fpf-add-single(eqfxv) == fpf-join(eq;f;x : v
latex


Definitionsf  g, x : v
FDL editor aliasesfpf-add-single

origin